Model theory without choice? Categoricity
نویسنده
چکیده
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in אα for some (equivalently for every ordinal α > 0). Another central result here is, in this context: the number of models of a countable first order T of cardinality אα is either ≥ |α| for every אα or it has a small upper bound (close to i2). The author would like to thank the Israel Science Foundation for partial support of this research (Grant No.242/03) and Alice Leonhardt for the beautiful typing. Publication 840. Typeset by AMS-TEX 1
منابع مشابه
Completeness and Categoricity (in power): Formalization without Foundationalism
We propose a criterion to regard a property of a theory (in first or second order logic) as virtuous: the property must have significant mathematical consequences for the theory (or its models). We then rehearse results of Ajtai, Marek, Magidor, H. Friedman and Solovay to argue that for second order logic, ‘categoricity’ has little virtue. For first order logic, categoricity is trivial; but ‘ca...
متن کاملModel Theory without Choice? Categoricity Sh840
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in אα for some (equivalently for every ordinal) α > 0. Another central result here is, in this context: the number of models of a countable first order T of cardinality אα is either ≥ |α| for every α or it has a small upper bound (independent of α close to i2). The autho...
متن کاملAn Introduction to Excellent Classes
In this paper, we present Shelah’s theory of excellence concluding with his categoricity theorem for the class of atomic models of a countable first order theory, under the assumption that there exists a large full model. This allows us to do the entire work within ZFC and without any assumption on the number of models of size א1, in contrast to Shelah’s original treatment.
متن کاملSummer 2010 Course on Model Theory : Chapter 5
Having seen that categoricity is a concept of somewhat limited usefulness, we now turn to a more versatile (and historically prior) technique for establishing model completeness, namely quantifier elimination. But more than just giving further criteria for showing that theories are model / completen, quantifier elimination is a fundamental concept in its own right (arguably more so than categor...
متن کاملThe Comparison of the Effects of Choice Theory Therapy and Behavioral Activation Therapy with and without Guided Mental Imagery on Resilience in Substance-Dependent Adolescents
Objective: This study aimed to compare the effects of choice theory therapy and behavioral activation (BA) therapy with and without guided mental imagery on resilience in substance-dependent adolescents. Method: The present study was quasi-experimental with pretest-posttest design with a control group. The study sample included 60 substance-dependent adolescents who were selected by convenience...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 74 شماره
صفحات -
تاریخ انتشار 2009